• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (382)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6 7 8...20 Hits 61 – 80 of 382 61 Work-Centered Approach to Insurgency Campaign Analysis Leedom, Dennis K.; Noble, David F.; Eggleston, Robert G. In: DTIC (2007) BASE Show details 62 codation - Verbindung von Code und Zusatzinformation Wertenauer, Jochen. - : Stuttgart, Germany, Universität Stuttgart, 2007 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2521/DIP-2521.pdf (2007) BASE Show details 63 Evaluation of a new assessment scheme for a third-year concurrency course Strooper, P. A.; Meinicke, L.. - : Australian Computer Society, Inc., 2007 BASE Show details 64 Developing efficient parsers in Prolog: the CLF manual (v1.0) Despeyroux, Thierry In: https://hal.inria.fr/inria-00120518 ; [Technical Report] RT-0328, INRIA. 2006, pp.18 (2006) BASE Show details 65 The QAT: A Qualitative Algebra Toolkit Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud In: Proceedings of the 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06) ; 2nd IEEE International Conference on Information Technologies ; https://hal.archives-ouvertes.fr/hal-01434027 ; 2nd IEEE International Conference on Information Technologies , Apr 2006, Damascus, Syria. pp.3433 - 3438, ⟨10.1109/ICTTA.2006.1684969⟩ (2006) Abstract: International audience ; Representing and reasoning about spatial and temporal information is an important task in many applications of Artificial Intelligence. In the past two decades numerous formalisms have been proposed for representing and reasoning about time and space using qualitative constraints. In the first part of this paper we propose and study a general definition of such formalisms by considering calculi based on basic relations of an arbitrary arity. In a second part we describe the QAT (Qualitative Algebra Toolkit), a JAVA constraint programming library allowing to handle constraint networks based on those qualitative calculi. The main motivation of this work stems from the fact that most software tools dealing with qualitative calculi have only been implemented for specific qualitative calculi. Keyword: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [SCCO.LING]Cognitive science/Linguistics; consistency; Java programming; qualitative constraint network; software tools; spatial and temporal reasoning URL: https://hal.archives-ouvertes.fr/hal-01434027/file/icttaConf.pdf https://hal.archives-ouvertes.fr/hal-01434027/document https://hal.archives-ouvertes.fr/hal-01434027 https://doi.org/10.1109/ICTTA.2006.1684969 BASE Hide details 66 An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems DeCloss, Daniel P. In: DTIC (2006) BASE Show details 67 Information Visualization: The State of the Art for Maritime Domain Awareness Davenport, Michael; Risley, Chris In: DTIC (2006) BASE Show details 68 Colors of poetry ; computational deconstruction Robinson, Jason R.. - : uga, 2006 BASE Show details 69 Parsing and translation of expressions by genetic programming David Jackson In: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf (2005) BASE Show details 70 Security Ontology for Annotating Resources Kim, Anya; Luo, Jim; Kang, Myong In: DTIC AND NTIS (2005) BASE Show details 71 DARPA Agent Markup Language (DAML) Unified Modeling Language (UML)-Based Ontology Toolset (UBOT) Kogut, Paul In: DTIC (2005) BASE Show details 72 CZT: A framework for Z tools Malik, Petra; Utting, Mark. - : Springer Berlin Heidelberg, 2005 BASE Show details 73 Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken Radeschütz, Sylvia. - : Stuttgart, Germany, Universität Stuttgart, 2005 BASE Show details 74 Refactoring via database representation Péter Diviánszky; Rozália Szabó-nacsa; Zoltán Horváth In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004) BASE Show details 75 Naturally Speaking: A Systems Biology Tool With Natural Language Interfaces Antoniotti, Marco; Lau, Ian T.; Mishra, Bud In: DTIC (2004) BASE Show details 76 Evaluation of Transcription and Annotation Tools for a Multi-Modal, Multi-Party Dialogue Corpus Garg, Saurabh; Martinovski, Bilyana; Robinson, Susan... In: DTIC (2004) BASE Show details 77 Disparate Ontology Understanding, Brokering, Linking, and Elaboration (DOUBLE) Reed, Stephen In: DTIC AND NTIS (2004) BASE Show details 78 Shifting the Computational Paradigm Stein, Lynn A. In: DTIC AND NTIS (2004) BASE Show details 79 Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph Stürmer, Michael. - : Stuttgart, Germany, Universität Stuttgart, 2004 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2182/DIP-2182.pdf (2004) BASE Show details 80 Speeding Up a Path-Based Policy Language Compiler Guven, Ahmet In: DTIC AND NTIS (2003) BASE Show details Page: 1 2 3 4 5 6 7 8...20

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 236 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 146 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0